direct product Lie group

[数] 直积李群